A Constraint-Based Framework for Prototyping Distributed Virtual Applications
نویسندگان
چکیده
This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, collaborations and games. Our framework integrates three components based on (concurrent) constraint programming ideas: (1) Hybrid cc, a (concurrent) constraint modeling language for hybrid systems, (2) Sisl, a (discrete) timed constraint language for describing interactive services with flexible user interfaces and (3) Triveni, a process-algebraic language for concurrent programming. The framework is realized as a collection of tools implemented in Java. The utility of the ideas are illustrated by sketching the implementations of simple distributed applications.
منابع مشابه
Applying Virtual Prototyping to the Innovative Design of Low Energy Accelerators
Based on the accelerator theory and virtual prototyping technique, an accelerator virtual prototyping system (AVPS) is formulated, implemented for the innovative design of low energy accelerators. The framework of AVPS takes into account the needs of manufacture, assembly/disassembly, operation, and maintenance in a virtual environment during the design phase. In order to guarantee the reliabil...
متن کاملCombining physical constraints with geometric constraint-based modeling for virtual assembly
Virtual reality (VR) technology holds promise as a virtual prototyping (VP) toolfor mechanical assembly; however, several developmental challenges still need to beaddressed before virtual prototyping applications can successfully be integrated into theproduct realization process. This paper categorizes and elaborates these challenges and then describes how SHARP (System for Haptic A...
متن کاملSTEP-Compliant Application Framework for Virtual Prototyping
The paper presents a formal approach to prototyping of products in virtual reality environments. Virtual prototyping of products is considered as a consistent simulation and visualization process mapping the source product model into its target visual representations. The approach enables to interrelate formally the product and visual information models with each other by defining mapping rules...
متن کاملVisual Programming for Hybrid User Interfaces
This paper presents a novel software system called Thekla that facilitates the integration of 2D and 3D user interfaces into hybrid, distributed mixed reality applications. Combining heterogenous display and interaction devices allows mixing and matching of interaction styles for a convenient user experience that is often absent from pure virtual reality applications. To this aim, Thekla enable...
متن کاملPrototyping and reasoning about distributed systems: an Orc based framework
We discuss a framework supporting fast prototyping as well as tuning of distributed applications. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model adopted (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. We build on results achieved earlier and show...
متن کامل